Add make dist rule for doc/misc/Makefile, for www.gnu.org
authorGlenn Morris <rgm@gnu.org>
Wed, 19 Jun 2013 07:01:22 +0000 (00:01 -0700)
committerGlenn Morris <rgm@gnu.org>
Wed, 19 Jun 2013 07:01:22 +0000 (00:01 -0700)
commit39a4114ea6f15f83f41c9b45b3c2966f956e541f
tree2936e8159584a2821f0c7c45499b767ea5edd40b
parent6c7010833482f447d8a6d8742430e81e97ecdb2a
Add make dist rule for doc/misc/Makefile, for gnu.org

* doc/misc/Makefile.in (version): New, set by configure.
(clean): Delete dist tar file.
(infoclean): New, split from maintainer-clean.
(maintainer-clean): Run infoclean.
(dist): New rule, to make tarfile for www.gnu.org.
doc/misc/ChangeLog
doc/misc/Makefile.in